Merge branch 'feature/type-hierarchy' into 'master'
authorAndrea Corallo <acorallo@gnu.org>
Fri, 1 Mar 2024 08:30:44 +0000 (09:30 +0100)
committerAndrea Corallo <acorallo@gnu.org>
Fri, 1 Mar 2024 08:30:44 +0000 (09:30 +0100)
commitc55694785e93212d1da5f96123288e596cb24f53
tree737c364da774e2c3724c04adbd0ff36cacfff22a
parent4dd4f145b8528d5a742af4268073c24d629801d8
parent4372a056fef90e5927d1a627fe0eb2bb01eb0dfb
Merge branch 'feature/type-hierarchy' into 'master'